Leon Henkin
述語論理の完全性定理
のシンプルなバージョンとか
Henkin文
など